xen/arm: drain all the outstanding interrupts before returning from gic_interrupt
authorStefano Stabellini <stefano.stabellini@eu.citrix.com>
Fri, 15 Feb 2013 13:32:25 +0000 (13:32 +0000)
committerStefano Stabellini <stefano.stabellini@eu.citrix.com>
Fri, 15 Feb 2013 13:32:25 +0000 (13:32 +0000)
commitc91b12a8e768a31d1cf64f1628be610e98828270
treee2bc14c5d127291a55d45da605e839c2dc0737c0
parent85dea997b92c91efb1196fec3a68347717f0d06d
xen/arm: drain all the outstanding interrupts before returning from gic_interrupt

Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
Committed-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/gic.c